a.f(a) is c preserving on e.P(e) == e, e':{e:E| P(e)} . e c e'  f(e) c f(e') 

latex

---

clarification:

causale-order-preserving(es;a.f(a);e.P(e))
== e:{e:es-E(es)| P(e)} , e':{e:es-E(es)| P(e)} .
== es-causle(es;e;e')  es-causle(es;f(e);f(e')) 

latex

Definitions	x:A. B(x), {x:A| B(x)} , E, P  Q, e c e'
FDL editor aliases	causale-order-preserving